home *** CD-ROM | disk | FTP | other *** search
Makefile | 1996-09-14 | 1.1 KB | 40 lines |
-
- ## Redefine these variables to specify the top directory of the java
- ## file hierarchy.
- ##
- ## That is, this path should contain the bin and classes
- ## subdirectories of your Java environment.
- ##
- ## If you want to install into the same directory where you unpack,
- ## use the target install-inplace and modify your CLASSPATH variable
- ## to point to classes subdirectory of distribution directory
- ##
-
- JAVA_DIR = $(HOME)/java
- JAVA_CLASSES_DIR = $(JAVA_DIR)/classes
- JAVA_BINARY_DIR = $(JAVA_DIR)/bin
-
-
- install: move permissions
- @echo Installation completed.
-
- install-inplace:
- @make JAVA_DIR=. permissions
- @echo Installation in place completed.
-
- move:
- cp bin/HyperProf $(JAVA_BINARY_DIR)/HyperProf
- cp -r classes/PVS $(JAVA_CLASSES_DIR)
-
- permissions:
- chmod a+rx $(JAVA_BINARY_DIR)/HyperProf
- chmod a+rx $(JAVA_CLASSES_DIR)/PVS/Utils
- chmod a+r $(JAVA_CLASSES_DIR)/PVS/Utils/*
- chmod a+rx $(JAVA_CLASSES_DIR)/PVS/HyperProf
- chmod a+r $(JAVA_CLASSES_DIR)/PVS/HyperProf/*
- chmod a+rx $(JAVA_CLASSES_DIR)/PVS/Hyperbolic
- chmod a+r $(JAVA_CLASSES_DIR)/PVS/Hyperbolic/*
-
-
-
-